Reflecting Types in C 17